3+(1/2)*integral_0^1 ((9x^4-1)/(1+x^2))